Nuprl Definition : so_apply2 9,38
x(s1,s2) == x(s1,s2) 
latex

Definitionsf(a)
FDL editor aliasesso_apply2

origin